Formal Modelling of Components and Dependencies for Configuring Product-Service-Systems
نویسندگان
چکیده
The increasing entwinement of products and services in combined offers – so called Product-Service Systems (PSS) – leads to various requirements regarding the modelling of those systems. Due to these requirements, software support is needed for customer-specific configuration of complex PSS. To provide such software a formal description of the structure of products and services is required. Furthermore, complex logical interdependencies between products and services need to be described. Based on an existing service modelling notation the following paper develops a holistic notation for PSS. To describe the interdependencies within PSS, dependency rules are formally specified.∗
منابع مشابه
A Methodology for Unified Assessment of Physical and Geographical Dependencies of Wide Area Measurement Systems in Smart Grids
Wide Area Measurement Systems (WAMS) enable real time monitoring and control of smart grids by combining digital measurement devices, communication and control systems. As WAMS consist of various infrastructures, they imply complex dependencies among their underlying systems and components of different types, such as cyber, physical and geographical dependencies. Although several works exist in...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملModelling Dynamic Component Dependencies
This paper is about modelling dynamic dependencies of components as required in dynamic environments. We sketch a formal model for describing the dependencies of software components on hardware and other software components. In a unified way, we represent software components and hardware components with their properties. The properties can be changed during runtime. Expressions over properties ...
متن کاملA Practical Tool for Mass-customising Configurable Products
Configurable products are an important way to achieve mass-customisation to satisfy individual customer requirements. We describe a novel configurator prototype that supports tailoring, i.e. configuring, such a product. It contains a semi-visual modelling tool based on a high-level objectand product structure-oriented modelling language with a clear formal semantics. The main functionality is d...
متن کاملModelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectural dependency analysis. Parametric contracts for software components specify such dependencies and were successfully used for automated protocol adaptation and quality of service prediction. In this paper, a novel mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Enterprise Modelling and Information Systems Architectures
دوره 7 شماره
صفحات -
تاریخ انتشار 2012